tools-xenmon-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:06 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Thu, 22 Dec 2016 17:16:52 +0000 (17:16 +0000)
commit4a89833869a969dc2b995319886e2c956ae80c3e
treed4bfd78626885054ef053dc8192048631dce51ea
parent7a0d6bd02b05da839198aacbd2f89273a615afe2
tools-xenmon-prefix.diff

Patch-Name: tools-xenmon-prefix.diff

Gbp-Pq: Name tools-xenmon-prefix.diff
tools/xenmon/Makefile